大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 EURAGE (Program) 的图书(共254本)

Chaos [electronic resource] : A Program Collection for the PC

0
索取号：
作者：Korsch、 Hans J眉rgen.、Jodl、 Hans-J枚rg.、Hartmann、 Timo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号：
作者：Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

0
索取号：
作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

0
索取号：
作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

0
索取号：
作者：Uustalu、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

0
索取号：
作者：Hill、 Patricia M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Doing the Impossible [electronic resource] : George E. Mueller and the Management of NASA鈥檚 Human Spaceflight Program

0
索取号：
作者：Slotkin、 Arthur L.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York : Imprint: Springer, 2012.

Student Financial Literacy [electronic resource] : Campus-Based Program Development

0
索取号：
作者：Durband、 Dorothy B.、Britt、 Sonya L.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2012.

Youth Gangs in International Perspective [electronic resource] : Results from the Eurogang Program of Research

0
索取号：
作者：Esbensen、 Finn-Aage.、Maxson、 Cheryl L.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2012.

From Program to Product [electronic resource] : Turning Your Code into A Saleable Product

0
索取号：
作者：Smolin、 Rocky.、SpringerLink (Online service)、
出版社：Berkeley, CA : Apress, 2008.

Automatic Program Development [electronic resource] : A Tribute to Robert Paige

0
索取号：
作者：Danvy、 Olivier.、Henglein、 Fritz.、Mairson、 Harry.、Pettorossi、 Alberto.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.

Geophysics of the Canary Islands [electronic resource] : Results of Spain鈥檚 Exclusive Economic Zone Program

0
索取号：
作者：Clift、 Peter.、Acosta、 Juan.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Developing Tsunami-Resilient Communities [electronic resource] : The National Tsunami Hazard Mitigation Program

0
索取号：
作者：Bernard、 E. N.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.